大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Pattern Recognition [electronic resource] : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings

0
索取号：
作者：Pinz、 Axel.、Pock、 Thomas.、Bischof、 Horst.、Leberl、 Franz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

0
索取号：
作者：Bikakis、 Antonis.、Giurca、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

0
索取号：
作者：Dienstfrey、 Andrew M.、Boisvert、 Ronald F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Wassyng、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trusted Systems [electronic resource] : Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011, Revised Selected Papers

0
索取号：
作者：Chen、 Liqun.、Yung、 Moti.、Zhu、 Liehuang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Decision Support Systems-Collaborative Models and Approaches in Real Environments [electronic resource] : Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers

0
索取号：
作者：Hern谩ndez、 Jorge E.、Zarate、 Pascale.、Dargam、 F谩tima.、Deliba拧i膰、 Boris.、Liu、 Shaofeng.、Ribeiro、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Mahjoub、 A. Ridha.、Markakis、 Vangelis.、Milis、 Ioannis.、Paschos、 Vangelis Th.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Page、 Rex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、Mohanty、 Sanghamitra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Bioinformatics and Computational Biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

0
索取号：
作者：Souto、 Marcilio C.、Kann、 Maricel G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 4th Symposium on Hybrid RANS-LES Methods, Beijing, China, September 2011

0
索取号：
作者：Fu、 Song.、Haase、 Werner.、Peng、 Shia-Hui.、Schwamborn、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Wright、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

0
索取号：
作者：Rahaman、 Hafizur.、Chattopadhyay、 Sanatan.、Chattopadhyay、 Santanu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.